Linear Time Algorithms for Dominating Pairs in Asteroidal Triple-free Graphs
نویسندگان
چکیده
An independent set of three vertices is called an asteroidal triple if between each pair in the triple there exists a path that avoids the neighborhood of the third. A graph is asteroidal triplefree (AT-free) if it contains no asteroidal triple. The motivation for this investigation is provided, in part, by the fact that AT-free graphs offer a common generalization of interval, permutation, trapezoid, and cocomparability graphs. Previously, the authors have given an existential proof of the fact that every connected AT-free graph contains a dominating pair, that is, a pair of vertices such that every path joining them is a dominating set in the graph. The main contribution of this paper is a constructive proof of the existence of dominating pairs in connected AT-free graphs. The resulting simple algorithm, based on the well-known lexicographic breadth-first search, can be implemented to run in time linear in the size of the input, whereas the best algorithm previously known for this problem has complexity O(|V |3) for input graph G = (V,E). In addition, we indicate how our algorithm can be extended to find, in time linear in the size of the input, all dominating pairs in a connected AT-free graph with diameter greater than 3. A remarkable feature of the extended algorithm is that, even though there may be O(|V |2) dominating pairs, the algorithm can compute and represent them in linear time.
منابع مشابه
Domination and Total Domination on Asteroidal Triple-free Graphs
We present the first polynomial time algorithms for solving the NPcomplete graph problems DOMINATING SET and TOTAL DOMINATING SET when restricted to asteroidal triple-free graphs. We also present algorithms to compute a minimum cardinality dominating set and a minimum cardinality total dominating set on a large superclass of the asteroidal triple-free graphs, called DDP-graphs. These algorithms...
متن کاملComputing a Dominating Pair in an Asteroidal Triple-free Graph in Linear Time
An independent set of three of vertices is called an asteroidal triple if between each pair in the triple there exists a path that avoids the neighborhood of the third. A graph is asteroidal triple-free (AT-free, for short) if it contains no asteroidal triple. The motivation for this work is provided, in part, by the fact that AT-free graphs ooer a common generalization of interval, permutation...
متن کاملConnected Domination and Steiner Set on Asteroidal Triple-Free Graphs
An asteroidal triple is a set of three independent vertices such that between any two of them there exists a path that avoids the neighl.)ourhood of the third. Graphs that do not. co~,tain an asteroidal triple are called asteroidal triple-free (AT-free) graphs. AT-free graphs strictly contain the well-known class of cocomparability graphs, and are not necessarily perfect.. We present efficient,...
متن کاملAsteroidal Triple-Free Graphs
An independent set of three vertices such that each pair is joined by a path that avoids the neighborhood of the third is called an asteroidal triple. A graph is asteroidal triple-free (AT-free) if it contains no asteroidal triples. The motivation for this investigation was provided, in part, by the fact that the AT-free graphs provide a common generalization of interval, permutation, trapezoid...
متن کاملIndependent Sets in Asteroidal Triple-Free Graphs
An asteroidal triple (AT) is a set of three vertices such that there is a path between any pair of them avoiding the closed neighborhood of the third. A graph is called AT-free if it does not have an AT. We show that there is an O(n4) time algorithm to compute the maximum weight of an independent set for AT-free graphs. Furthermore, we obtain O(n4) time algorithms to solve the independent domin...
متن کامل